41. Analysis and control of nonlinear infinite dimensional systems
پدیدآورنده : Barbu, Viorel
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Control theory,، Mathematical optimization,، Nonlinear operators
رده :
QA
402
.
3
.
B343
42. Analytics and optimization for renewable energy integration /
پدیدآورنده : Ning Zhang, Chongqing Kang, Ershun Du, Yi Wang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Renewable energy sources.,Renewable resource integration.,Renewable energy sources.,Renewable resource integration.,SCIENCE-- Energy.,TECHNOLOGY & ENGINEERING-- Mechanical.,TECHNOLOGY-- Electricity.
رده :
TJ808
43. Applications of continuous mathematics to computer science /
پدیدآورنده : by Hung T. Nguyen, Vladik Kreinovich.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.,Computer science-- Mathematics.,COMPUTERS.,CONTINUITY (MATHEMATICS),Informatik,MATHEMATICS.,Mathematik
رده :
QA76
.
9
.
M35
N49
1997
44. Applications of the topological derivative method /
پدیدآورنده : Antonio André Novotny, [and 2 others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Topological dynamics.,Topological dynamics.
رده :
QA611
.
5
.
N68
2019
45. Applied Mathematics: Body and Soul
پدیدآورنده : by Kenneth Eriksson, Claes Johnson, Donald Estep.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
46. Applied Mathematics in Aerospace Science and Engineering
پدیدآورنده : edited by Angelo Miele, Attilio Salvetti.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Engineering mathematics.,Engineering.,Mechanical engineering.
47. Approximation and Complexity in Numerical Optimization
پدیدآورنده : edited by Panos M. Pardalos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information theory.,Mathematical optimization.,Mathematics.
48. Artificial evolution :
پدیدآورنده : Evelyne Lutton, Pierrick Legrand, Pierre Parrend, Nicolas Monmarché, Marc Schoenauer (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
618
49. Artificial life and evolutionary computation :
پدیدآورنده : edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Evolutionary computation, Congresses.,Self-organizing systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial life.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Evolutionary computation.,Mathematical theory of computation.,Mathematics-- Logic.,Self-organizing systems.
رده :
Q325
.
W58
2017
50. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
52. Basic concepts in computational physics /
پدیدآورنده : Benjamin A. Stickler, Ewald Schachinger.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical physics.,Physics-- Data processing.,Mathematical physics.,Physical Sciences & Mathematics.,Physics - General.,Physics-- Data processing.,Physics.
رده :
QC52
53. Bayesian Approach to Global Optimization :
پدیدآورنده : by Jonas Mockus.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Electronic data processing.,Information theory.
رده :
QA402
.
5
B956
1989
54. Bellman Equations-Jacobi-Optimal Control and Viscosity Solutions of Hamilton
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics. ; Differential equations, partial. ; Systems theory. ; Mathematical optimization. ; Mathematics. ; Systems Theory, Control. ; Optimization. ; Partial Differential Equations. ;
55. Bilevel programming problems
پدیدآورنده : / Stephan Dempe, Vyacheslav Kalashnikov, Gerardo A. Paerez-Valdaes, Nataliya Kalashnykova
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Programming (Mathematics),Mathematical optimization
رده :
T57
.
7
.
D46
2015
56. C++ Toolbox for Verified Computing I :
پدیدآورنده : by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Global analysis (Mathematics),Mathematics.
رده :
QA76
.
73
.
C153
B985
1995
57. Classical Principles and Optimization Problems
پدیدآورنده : by B. S. Razumikhin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics.
58. Compartmental Modeling with Networks
پدیدآورنده : by Gilbert G. Walter, Martha Contreras.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics.
59. Complementarity, Duality and Symmetry in Nonlinear Mechanics
پدیدآورنده : by David Y. Gao.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Differential equations, Partial.,Materials.,Mathematics.,Mechanics.,Physics.
